The Atomos transactional programming language
نویسندگان
چکیده
منابع مشابه
The ATOMOΣ Transactional Programming Language
Atomos is the first programming language with implicit transactions, strong atomicity, and a scalable multiprocessor implementation. Atomos is derived from Java, but replaces its synchronization and conditional waiting constructs with simpler transactional alternatives. The Atomos watch statement allows programmers to specify fine-grained watch sets used with the Atomos retry conditional waitin...
متن کاملA Model of Transactional Programming
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better exploit the parallelism of modern multi-processor machines, such as multi-core microprocessors. We introduce Transactional State Machines (TSMs) as an abstract finite-data model of transactional shared-memory concurre...
متن کاملGeneric Programming Needs Transactional Memory
Locks are the most widely used synchronization mechanism for threads. It is well-known that naive use of locks can easily lead to program failures through deadlock. Such deadlock is usually avoided through careful lock ordering. We argue that this approach is incompatible with several increasingly important programming practices that rely on libraries invoking (“calling-back”) essentially unkno...
متن کاملProgramming Idioms for Transactional Events
Abstract Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE’s formal semantics and its implementation. This paper considers programming idioms, particularly those that vary unexpectedly from the corresponding CML idioms. First, we solve a subtle problem with client-server protocols in TE. Second, w...
متن کاملTransactional Language Constructs for C + +
Authors: Hans Boehm, HP, [email protected] Justin Gottschlich, Intel, [email protected] Victor Luchangco, Oracle, [email protected] Maged Michael, IBM, [email protected] Mark Moir, Oracle, [email protected] Clark Nelson, Intel, [email protected] Torvald Riegel, Red Hat, [email protected] Tatiana Shpeisman, Intel, [email protected] Michael Wong, IBM,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2006
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1133255.1133983